Knihy od autora Andreas Podelski

Zobrazeno 1 – 6 z 6 výsledků

1. 

   Verified Software: Theories, Tools, Experiments

   Rajeev Joshi, Peter Müller, Andreas Podelski | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Skladem u dodavatele - Odesíláme za 9-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1355 Kč

   Koupit
2. 

   Networked Systems

   Andreas Podelski, François Ta?ani | Springer Nature Switzerland AG, 2019

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
3. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Kurt Jensen, Andreas Podelski | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2357 Kč

   Koupit
4. 

   Verification, Model Checking, and Abstract Interpretation

   Byron Cook, Andreas Podelski | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
5. 

   Constraint Programming: Basics and Trends

   Andreas Podelski | Springer, Berlin, 1995

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
6. 

   Static Analysis

   Andreas Podelski | Springer International Publishing AG, 2018

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit

Zboží můžete bez udání důvodů do měsíce vrátit. Zjistěte více